A Formal Object-Oriented Specification Language without inheritance
نویسنده
چکیده
Formal specification language and deduction system for object-oriented models is proposed in this article. It extends ς-calculus introduced by Martín Abadi and Luca Cardelli with propositional connectives, and quantified terms. The first-order type system of ς-calculus serves as typing theory of suggested calculus. Deduction system consists of reduction rules of ς-terms, equality theory of ς-calculus and adapted rules of Gentzen logic system.
منابع مشابه
Object - Oriented Attribute Grammars
This paper introduces object-oriented attribute grammars. These can be characterized as a notation for all classes of attribute grammars. Based on a subtype relation between grammar rules, inheritance of attributes and attribute computations are defined. With this approach, attributes local to grammar rules and the elimination of chain rules are possible without any special constructs. We prese...
متن کاملObject-oriented Techniques in Grammar and Ontology Specification
Currently, much effort is spent for the creation of linguistic resources such as grammars or domain models each time a new task oriented spoken language application is deployed. The resources for different applications, though different, resemble each other enough to warrant reusability of subcomponents. In this paper, we describe the application of techniques known from object oriented program...
متن کاملIncorporating Formal Specifications to Jacobson's Methodology
It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inherita...
متن کاملAnimating Formal Specifications: a Telephone Simulation Case Study
We believe that a more rigorous method of specification and validation can be achieved by first developing a specification architecture whose high-level semantics are based on object oriented concepts. This architecture promotes the construction of new functionality in a formal manner using rigorous notions of composition and inheritance. An object oriented approach will also facilitate increme...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل